H. Kleine Büning: Z-Library সাইটে অনুসন্ধান করুন

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

Don't use scam websites

1

Modellierung

Modellierung

Carl Hanser Verlag GmbH & CO. KG

Kastens Uwe, Kleine Büning Hans

সাল:

2005

ভাষা:

german

ফাইল:

PDF, 2.89 MB

0 / 0

german, 2005

2

A Survey of Recent Advances in SAT-Based Formal Verification

A Survey of Recent Advances in SAT-Based Formal Verification

Hans Kleine Büning, Theodor Lettmann

সাল:

1999

ভাষা:

english

ফাইল:

PDF, 181 KB

0 / 0

english, 1999

3

Aussagenlogik: Deduktion und Algorithmen

Aussagenlogik: Deduktion und Algorithmen

Vieweg+Teubner Verlag

Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)

সাল:

1994

ভাষা:

german

ফাইল:

PDF, 18.59 MB

0 / 0

german, 1994

4

Aussagenlogik: Deduktion und Algorithmen

Aussagenlogik: Deduktion und Algorithmen

Vieweg+Teubner Verlag

Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)

সাল:

1994

ভাষা:

german

ফাইল:

DJVU, 3.57 MB

0 / 0

german, 1994

5

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)

সাল:

1996

ভাষা:

english

ফাইল:

PDF, 11.88 MB

0 / 0

english, 1996

6

Modellierung

Modellierung

Pearson Studium

Kastens Uwe, Kleine Büning Hans

সাল:

2005

ভাষা:

german

ফাইল:

PDF, 2.52 MB

0 / 0

german, 2005

7

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Hans Kleine Büning, Xishun Zhao

সাল:

2008

ভাষা:

english

ফাইল:

PDF, 3.45 MB

0 / 0

english, 2008

8

PROLOG: Grundlagen und Anwendungen: mit zahlreichen Abbildungen, Tabellen und Programmbeispielen

PROLOG: Grundlagen und Anwendungen: mit zahlreichen Abbildungen, Tabellen und Programmbeispielen

Schmitgen, Stefan, Kleine Büning, Hans

সাল:

1988

ভাষা:

german

ফাইল:

DJVU, 2.21 MB

0 / 0

german, 1988

9

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)

সাল:

1996

ভাষা:

english

ফাইল:

DJVU, 4.15 MB

0 / 0

english, 1996

10

Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Springer-Verlag Berlin Heidelberg

Stål Aanderaa (auth.), E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter (eds.)

সাল:

1993

ভাষা:

english

ফাইল:

DJVU, 3.83 MB

0 / 0

english, 1993

11

Prolog: Grundlagen und Anwendungen

Prolog: Grundlagen und Anwendungen

Vieweg+Teubner Verlag

Dr. rer. nat. Hans Kleine Büning, Dipl.-Wi.-Ing. Stefan Schmitgen (auth.)

সাল:

1988

ভাষা:

german

ফাইল:

PDF, 6.35 MB

0 / 0

german, 1988

12

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Josep Argelich, Alba Cabiscol, Inês Lynce (auth.), Hans Kleine Büning, Xishun Zhao (eds.)

সাল:

2008

ভাষা:

english

ফাইল:

PDF, 3.58 MB

0 / 0

english, 2008

13

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Stefan Arnborg, Andrzej Proskurowski, Detlef Seese (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (eds.)

সাল:

1991

ভাষা:

english

ফাইল:

DJVU, 3.67 MB

0 / 0

english, 1991

14

Prolog: Grundlagen und Anwendungen

Prolog: Grundlagen und Anwendungen

Vieweg+Teubner Verlag

Prof. Dr. rer. nat. Hans Kleine Büning, Dipl.-Wi.-Ing. Stefan Schmitgen (auth.)

সাল:

1986

ভাষা:

german

ফাইল:

PDF, 7.73 MB

0 / 0

german, 1986

15

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

সাল:

1988

ভাষা:

english

ফাইল:

DJVU, 3.20 MB

0 / 0

english, 1988

16

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

সাল:

1990

ভাষা:

english

ফাইল:

DJVU, 4.21 MB

0 / 0

english, 1990

17

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

সাল:

1989

ভাষা:

english

ফাইল:

DJVU, 2.87 MB

0 / 0

english, 1989

18

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Yaniv Bargury, Johann Makowsky (auth.), Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (eds.)

সাল:

1992

ভাষা:

english

ফাইল:

DJVU, 3.80 MB

0 / 0

english, 1992